$\forall$${\it es}$:event\_system\{i:l\}. es{-}eq(${\it es}$) $\in$ EqDecider(es{-}E(${\it es}$))